Nuprl Definition : fpf-const 11,40
L fpf v == <L, x.v> 
latex

FDL editor aliasesfpf-const

origin